H ?
«
‹
←
→
›
»
Language peer sets for Mizar HPF: Poland↑ Poland/1987↑ Designed 1987 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ Mizar HPF(ID:7820/)alternate simple viewCountry: Poland Designed 1987 Variant written in HPF rather than PASCAL Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |